Formal Method to Derive Interoperability Requirements and Guarantees
نویسندگان
چکیده
منابع مشابه
Formal Method to Derive Interoperability Requirements and Guarantees
Interoperability among telecommunications systems, possibly by different vendors, is essential for both the development of many telecommunications networks, and today's civilization development. Interoperability testing is very costly, as it has a complexity of (n**2) for n systems, and somewhat informal. In this paper, we develop a 'Conformance Testing (CT)'-based formal technique to determine...
متن کاملInteroperability Constraints and Requirements Formal Modelling and Checking Framework
This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.
متن کاملEnhancing Requirements to derive Multi-Agent Architectures
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. In this paper we present an approach for integration of system requirements and software architectures within the cont...
متن کاملRequirements and Method for Assessment of Service Interoperability
Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other’s services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we systematically explain what interoperability means and analyze ...
متن کاملFrom Formal Requirements to Implementation: a Java Targeted Development Method
The aim of this thesis is to provide a speci cation methodology for reactive and concurrent systems that covers the whole process of designing a system. Starting from a high-level (very abstract) description we want to give the formal tools and guidelines to develop several steps in the re nement process of the speci cation. We would like to reach, as the nal step of that process, an implementa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2013
ISSN: 2158-107X,2156-5570
DOI: 10.14569/ijacsa.2013.040102